Optimal. Leaf size=135 \[ \frac{2 (e f-d g) \left (a g^2-b f g+c f^2\right )}{g^4 \sqrt{f+g x}}+\frac{2 \sqrt{f+g x} (c f (3 e f-2 d g)-g (-a e g-b d g+2 b e f))}{g^4}-\frac{2 (f+g x)^{3/2} (-b e g-c d g+3 c e f)}{3 g^4}+\frac{2 c e (f+g x)^{5/2}}{5 g^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.098059, antiderivative size = 135, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.04, Rules used = {771} \[ \frac{2 (e f-d g) \left (a g^2-b f g+c f^2\right )}{g^4 \sqrt{f+g x}}+\frac{2 \sqrt{f+g x} (c f (3 e f-2 d g)-g (-a e g-b d g+2 b e f))}{g^4}-\frac{2 (f+g x)^{3/2} (-b e g-c d g+3 c e f)}{3 g^4}+\frac{2 c e (f+g x)^{5/2}}{5 g^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 771
Rubi steps
\begin{align*} \int \frac{(d+e x) \left (a+b x+c x^2\right )}{(f+g x)^{3/2}} \, dx &=\int \left (\frac{(-e f+d g) \left (c f^2-b f g+a g^2\right )}{g^3 (f+g x)^{3/2}}+\frac{c f (3 e f-2 d g)-g (2 b e f-b d g-a e g)}{g^3 \sqrt{f+g x}}+\frac{(-3 c e f+c d g+b e g) \sqrt{f+g x}}{g^3}+\frac{c e (f+g x)^{3/2}}{g^3}\right ) \, dx\\ &=\frac{2 (e f-d g) \left (c f^2-b f g+a g^2\right )}{g^4 \sqrt{f+g x}}+\frac{2 (c f (3 e f-2 d g)-g (2 b e f-b d g-a e g)) \sqrt{f+g x}}{g^4}-\frac{2 (3 c e f-c d g-b e g) (f+g x)^{3/2}}{3 g^4}+\frac{2 c e (f+g x)^{5/2}}{5 g^4}\\ \end{align*}
Mathematica [A] time = 0.179613, size = 128, normalized size = 0.95 \[ \frac{2 \left (5 g \left (3 a g (-d g+2 e f+e g x)+3 b d g (2 f+g x)+b e \left (-8 f^2-4 f g x+g^2 x^2\right )\right )+c \left (5 d g \left (-8 f^2-4 f g x+g^2 x^2\right )+3 e \left (8 f^2 g x+16 f^3-2 f g^2 x^2+g^3 x^3\right )\right )\right )}{15 g^4 \sqrt{f+g x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.047, size = 144, normalized size = 1.1 \begin{align*} -{\frac{-6\,ce{x}^{3}{g}^{3}-10\,be{g}^{3}{x}^{2}-10\,cd{g}^{3}{x}^{2}+12\,cef{g}^{2}{x}^{2}-30\,ae{g}^{3}x-30\,bd{g}^{3}x+40\,bef{g}^{2}x+40\,cdf{g}^{2}x-48\,ce{f}^{2}gx+30\,ad{g}^{3}-60\,aef{g}^{2}-60\,bdf{g}^{2}+80\,be{f}^{2}g+80\,cd{f}^{2}g-96\,ce{f}^{3}}{15\,{g}^{4}}{\frac{1}{\sqrt{gx+f}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.961014, size = 185, normalized size = 1.37 \begin{align*} \frac{2 \,{\left (\frac{3 \,{\left (g x + f\right )}^{\frac{5}{2}} c e - 5 \,{\left (3 \, c e f -{\left (c d + b e\right )} g\right )}{\left (g x + f\right )}^{\frac{3}{2}} + 15 \,{\left (3 \, c e f^{2} - 2 \,{\left (c d + b e\right )} f g +{\left (b d + a e\right )} g^{2}\right )} \sqrt{g x + f}}{g^{3}} + \frac{15 \,{\left (c e f^{3} - a d g^{3} -{\left (c d + b e\right )} f^{2} g +{\left (b d + a e\right )} f g^{2}\right )}}{\sqrt{g x + f} g^{3}}\right )}}{15 \, g} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.50451, size = 306, normalized size = 2.27 \begin{align*} \frac{2 \,{\left (3 \, c e g^{3} x^{3} + 48 \, c e f^{3} - 15 \, a d g^{3} - 40 \,{\left (c d + b e\right )} f^{2} g + 30 \,{\left (b d + a e\right )} f g^{2} -{\left (6 \, c e f g^{2} - 5 \,{\left (c d + b e\right )} g^{3}\right )} x^{2} +{\left (24 \, c e f^{2} g - 20 \,{\left (c d + b e\right )} f g^{2} + 15 \,{\left (b d + a e\right )} g^{3}\right )} x\right )} \sqrt{g x + f}}{15 \,{\left (g^{5} x + f g^{4}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 26.8792, size = 141, normalized size = 1.04 \begin{align*} \frac{2 c e \left (f + g x\right )^{\frac{5}{2}}}{5 g^{4}} + \frac{\left (f + g x\right )^{\frac{3}{2}} \left (2 b e g + 2 c d g - 6 c e f\right )}{3 g^{4}} + \frac{\sqrt{f + g x} \left (2 a e g^{2} + 2 b d g^{2} - 4 b e f g - 4 c d f g + 6 c e f^{2}\right )}{g^{4}} - \frac{2 \left (d g - e f\right ) \left (a g^{2} - b f g + c f^{2}\right )}{g^{4} \sqrt{f + g x}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.12876, size = 275, normalized size = 2.04 \begin{align*} -\frac{2 \,{\left (c d f^{2} g - b d f g^{2} + a d g^{3} - c f^{3} e + b f^{2} g e - a f g^{2} e\right )}}{\sqrt{g x + f} g^{4}} + \frac{2 \,{\left (5 \,{\left (g x + f\right )}^{\frac{3}{2}} c d g^{17} - 30 \, \sqrt{g x + f} c d f g^{17} + 15 \, \sqrt{g x + f} b d g^{18} + 3 \,{\left (g x + f\right )}^{\frac{5}{2}} c g^{16} e - 15 \,{\left (g x + f\right )}^{\frac{3}{2}} c f g^{16} e + 45 \, \sqrt{g x + f} c f^{2} g^{16} e + 5 \,{\left (g x + f\right )}^{\frac{3}{2}} b g^{17} e - 30 \, \sqrt{g x + f} b f g^{17} e + 15 \, \sqrt{g x + f} a g^{18} e\right )}}{15 \, g^{20}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]